Results for 'Dmitry Anatolyevich Belyaev'

402 found
Order:
  1.  5
    Ecohumanistics as a kind of scientific knowledge and methodology for understanding the specifics of the relationship “human — technical and-technological world”.Dmitry Solomko - 2022 - Sotsium I Vlast 1:15-25.
    Introduction. A human and the world are an organically connected part and whole, they are always a single World, and therefore they can only evolve together, in one direction. The human world consists of many interconnected and interdepend- ent parts. If any one of the parts (for example, technology) begins to dominate and claim the sta- tus of the whole, then the problem of violating the optimal ratio in the coexistence and co-evolutionary development of each of the parts, and hence (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. “They Seem to Exist, but Mostly Virtually so Far”: Representations of Diasporas on Migrant Digital Communication Platforms.Dmitry Timoshkin - 2022 - Sociology of Power 34 (3-4):227-246.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  22
    The problem of Russian democracy: Can Russia rise again?: Dmitry Shlapentokh.Dmitry Shlapentokh - 2000 - Social Philosophy and Policy 17 (1):269-313.
    While Western political scientists have a variety of opinions on democracy and how its institutions could be improved, they almost never argue about the validity of democracy as a form of government. Of course, it would be unfair here to ignore the presence of an authoritarian streak in Western thought. Thomas Hobbes comes to mind most immediately. Yet the views of those thinkers with an authoritarian bent have become marginalized in present-day discourse; or, to be more precise, it is assumed (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  4.  64
    A few more useful 8-valued logics for reasoning with tetralattice eight.Dmitry Zaitsev - 2009 - Studia Logica 92 (2):265 - 280.
    In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN 3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  5.  11
    Generalised imaginaries and galois cohomology.Dmitry Sustretov - 2016 - Journal of Symbolic Logic 81 (3):917-935.
    The objective of this article is to characterise elimination of finite generalised imaginaries as defined in [9] in terms of group cohomology. As an application, I consider series of Zariski geometries constructed [10, 23, 24] by Hrushovski and Zilber and indicate how their nondefinability in algebraically closed fields is connected to eliminability of certain generalised imaginaries.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  6
    The Concept of Pattern and the Communicative Bases of Bateson’s Anthropology.Dmitry Testov - 2016 - Epistemology and Philosophy of Science 49 (3):158-177.
    The article is devoted to the analysis of theoretical bases of G. Bateson's anthropology. The author focuses on the concept of pattern by tracing the origins of this concept in the Goethe's morphology, the Gestalt psychology, the Benedict's anthropology, the Cybernetics and the Communication theory. In the context of the Communication theory “pattern" appears as a synonym of the engineering term “redundancy" that makes possible to consider it as a necessary condition for anticipation of communication sequences and economy of description. (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  54
    Bi-facial Truth: a Case for Generalized Truth Values.Dmitry Zaitsev & Yaroslav Shramko - 2013 - Studia Logica 101 (6):1299-1318.
    We explore a possibility of generalization of classical truth values by distinguishing between their ontological and epistemic aspects and combining these aspects within a joint semantical framework. The outcome is four generalized classical truth values implemented by Cartesian product of two sets of classical truth values, where each generalized value comprises both ontological and epistemic components. This allows one to define two unary twin connectives that can be called “semi-classical negations”. Each of these negations deals only with one of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  8. Chapter Thirteen Individual and Professional Differences in the Perception of Dramatic Art Dmitry A. Leontiev and Larissa Lagoutina.Dmitry A. Leontiev - 2007 - In Leonid Dorfman, Colin Martindale & Vladimir Petrov (eds.), Aesthetics and innovation. Newcastle, UK: Cambridge Scholars Press. pp. 241.
     
    Export citation  
     
    Bookmark  
  9. Chapter Twelve Translation of Values through Art: Non-Classical Value Approach Dmitry A. Leontiev.Dmitry A. Leontiev - 2007 - In Leonid Dorfman, Colin Martindale & Vladimir Petrov (eds.), Aesthetics and innovation. Newcastle, UK: Cambridge Scholars Press. pp. 227.
    No categories
     
    Export citation  
     
    Bookmark  
  10.  30
    A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT 4.Dmitry Zaitsev - 2009 - Studia Logica 92 (2):265-280.
    In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is asserted, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  11.  24
    Return of Value in the New Era of Biomedical Research—One Size Will Not Fit All.Dmitry Khodyakov, Alexandra Mendoza-Graf, Sandra Berry, Camille Nebeker & Elizabeth Bromley - forthcoming - AJOB Empirical Bioethics:1-11.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12. Mezhdunarodnyi Aspekt Blizhnevostochnogo Terrorizma.Dmitry Gennadiyevich Yevstafyev & Vladimir Igorevich Chekalkin - 1991 - Polis 4:71-73.
     
    Export citation  
     
    Bookmark  
  13.  32
    Relevant generalization starts here (and here = 2).Dmitry Zaitsev & Oleg Grigoriev - 2010 - Logic and Logical Philosophy 19 (4):329-340.
    There is a productive and suggestive approach in philosophical logic based on the idea of generalized truth values. This idea, which stems essentially from the pioneering works by J.M. Dunn, N. Belnap, and which has recently been developed further by Y. Shramko and H. Wansing, is closely connected to the power-setting formation on the base of some initial truth values. Having a set of generalized truth values, one can introduce fundamental logical notions, more specifically, the ones of logical operations and (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  14.  17
    »Heterodoxe« Religiosität auf dem Vormarsch in Russland? Zur empirischen Untersuchung des religiösen Synkretismus im postsozialistischen Raum.Demyan Belyaev - 2008 - Zeitschrift für Religionswissenschaft 16 (2):177-202.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  2
    Social and administrative mobbing: reasons, ways, means.Aleksander Belyaev - 2019 - Sotsium I Vlast 1:79-90.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16. Generalized Vasiliev-Style Propositions.Dmitry Zaitsev - 2017 - In Dmitry Zaitsev & Vladimir Markin (eds.), The Logical Legacy of Nikolai Vasiliev and Modern Logic. Cham: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  17.  5
    The influence of university science on the Russian regions’ development.Dmitry Pletnev & Dina Basyrova - 2021 - Sotsium I Vlast 1:41-59.
    Introduction. One of the drivers of the Russian regions’ development is traditionally considered to be local universities and the scientific activity development, in particular. However, such a belief is usually based on speculative conclusions and is not subjected to detailed empirical testing. The purpose of the study is to assess the relationship between the development of science in universities in Russian regions and indicators of regional development according to 2017—18 data. Methods. The authors use methods of generalization, grouping, assessment of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  5
    Apophatic and Cataphatic Pathways of Soviet Political Theology.Dmitry Popov - 2022 - Sociology of Power 34 (2):44-71.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  21
    Partisan judicial speech and recusal procedure.Bam Dmitry - 2017 - Legal Ethics 20 (1):131-133.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  20.  15
    Actions of the world's central banks during the pandemic and their impact on stock markets.Dmitry Nikolaevich Cheremushkin - 2021 - Kant 40 (3):114-119.
    The purpose of the study is to reveal the main actions of the major central banks during the COVID - 19 pandemic and their main impact on the world stock markets. The scientific novelty consists in identifying the key results of the impact of the pandemic in general and the restrictive measures of national governments, in particular, on the dynamics of the state of the stock markets of the world, namely, the level of decline in the main stock indexes of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  19
    Beobachtungen zu den Briefen des Theodoros Daphnopates. Neue Tendenzen in der byzantinischen Literatur des zehnten Jahrhunderts.Dmitry Chernoglazov - 2013 - Byzantinische Zeitschrift 106 (2):623-644.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  19
    Critical Risks of Different Economic Sectors: Based on the Analysis of More Than 500 Incidents, Accidents and Disasters.Dmitry Chernov & Didier Sornette - 2019 - Springer Verlag.
    This book explores the major differences between the kinds of risk encountered in different sectors of industry - production and services - and identifies the main features of accidents within different industries. Because of these differences, unique risk-mitigation measures will need to be implemented in one industry that cannot be implemented in another, leading to large managerial differences between these broad economic sectors. Based on the analysis of more than 500 disasters, accidents and incidents - around 230 cases from the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  38
    Empedocles’ Emulation of Anaxagoras and Pythagoras.Dmitri Panchenko - 2018 - Apeiron 51 (4):453-457.
  24.  48
    The Postmodern Posture.Dmitry Khanin - 1990 - Philosophy and Literature 14 (2):239-247.
    In lieu of an abstract, here is a brief excerpt of the content:Dmitry Khanin THE POSTMODERN POSTURE Postmodernists—the sectarians ofour day—proclaim that the old kingdom of historical narrative and historical subject has perished, and is now being replaced by a new one of ahistorical discourses and ahistorical characters. According to these prophets, "history" is anyway just changes in ways of talking about history. Anyone who does not agree with the ahistoricity of the postmodern world oudook may be accused—and tried (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  25.  6
    Beyond the Nation-State: The Zionist Political Imagination From Pinsker to Ben-Gurion.Dmitry Shumsky - 2018 - Yale University Press.
    _A revisionist account of Zionist history, challenging the inevitability of a one-state solution, from a bold, path-breaking young scholar_ The Jewish nation-state has often been thought of as Zionism’s end goal. In this bracing history of the idea of the Jewish state in modern Zionism, from its beginnings in the late nineteenth century until the establishment of the state of Israel, Dmitry Shumsky challenges this deeply rooted assumption. In doing so, he complicates the narrative of the Zionist quest for (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  44
    Hybrid logics of separation axioms.Dmitry Sustretov - 2009 - Journal of Logic, Language and Information 18 (4):541-558.
    We study hybrid logics in topological semantics. We prove that hybrid logics of separation axioms are complete with respect to certain classes of finite topological models. This characterisation allows us to obtain several further results. We prove that aforementioned logics are decidable and PSPACE-complete, the logics of T 1 and T 2 coincide, the logic of T 1 is complete with respect to two concrete structures: the Cantor space and the rational numbers.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  25
    The tableau prover generator mettel2.Dmitry Tishkovsky, Renate A. Schmidt & Mohammad Khodadadi - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 492--495.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. Slučaj 'Pusi rajot'i postsekularni hibridi.Dmitry Uzlaner - 2013 - Filozofija I Društvo 24 (1):444-457.
    No categories
     
    Export citation  
     
    Bookmark  
  29.  37
    Bø and Bön: ancient Shamanic traditions of Siberia and Tibet in their relation to the teachings of a Central Asian Buddha.Dmitry Ermakov - 2008 - Kathmandu: Vajra Publications.
    Comparative study between Tibetan Bon and Buryatian Bø religion of ancient Shamanic traditions.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  26
    Nucleosomal anatomy – where are the histones?Dmitry Pruss, Jeffrey J. Hayes & Alan P. Wolffe - 1995 - Bioessays 17 (2):161-170.
    The recent surge of discoveries concerning the structural organization of nucleosomes, together with genetic evidence of highly specialized roles for the histones in gene regulation, have brought a renewed need for a detailed understanding of nucleosomal anatomy. Here we review recent structural advances leading to a new level of understanding of the nucleosome and chromatin fibre structure. We discuss the problems and challenges for existing models of chromatin structure and, in particular, consider how linker histones may bind within the nucleosome, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31. Modeli mira.Dmitriæi Aleksandrovich Pospelov, N. V. Chudova & Rossiæiskaëiìa Assoëtìsiaëtìsiëiìa Iskusstvennogo Intellekta (eds.) - 1997 - Moskva: Rossiĭskai︠a︡ assot︠s︡iat︠s︡ii︠a︡ iskusstvennogo intellekta.
    No categories
     
    Export citation  
     
    Bookmark  
  32.  22
    Mapping Ethnic Stereotypes and Their Antecedents in Russia: The Stereotype Content Model.Dmitry Grigoryev, Susan T. Fiske & Anastasia Batkhina - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  33.  2
    Is auditory awareness graded or dichotomous: Electrophysiological correlates of consciousness at different depths of stimulus processing.Dmitri Filimonov, Sampo Tanskanen, Antti Revonsuo & Mika Koivisto - 2024 - Consciousness and Cognition 123 (C):103720.
  34.  17
    Towards Protolanguage.Dmitry V. Zaitsev - 2021 - Epistemology and Philosophy of Science 58 (1):94-111.
    In this paper, I attempt to offer a general outline of my views on the origin and evolution of language. I do not pretend in any way to a completely new conception of language evolution. It seems to me that all the most important and productive hypotheses about the origin of language have already been made before, and it is only a matter of putting the pieces of the puzzle together correctly. As far as I can see it, the evolution (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  8
    Reading skills in a foreign language as a stage of professional competence formation.Dmitry Vladimirovich Zhabin & Valentina Jurievna Ivanova - 2021 - Kant 38 (1):226-230.
    The paper deals with the need for new methods in foreign language teaching to students of non-linguistic universities. The article presents a strategy to optimize the foreign language lesson. As an example an algorithm with authentic technical text in German is considered. It makes possible to change the work with foreign language text. It is proposed to substitute the standard tasks to the practice-oriented, which purpose is to teach students to understand the text.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  15
    The Name-glorifying projects of Alexei Losev and Pavel Florensky: A question of their historical interrelation.Dmitry Biriukov - forthcoming - Studies in East European Thought:1-11.
    This article deals with the question of the interrelation between two papers, both called, in short, “Onomatodoxy”, dedicated to the doctrine of Name-glorification (Imiaslavie, Onomatodoxy), both of which were created in line with the Neo-Patristic movement in the Russian philosophy of the Silver Age. One of these papers is by Alexei Losev and the other by Pavel Florensky. In my opinion, there are sufficient grounds to state that Losev’s “Onomatodoxy” was written either after Florensky created his own “Onomatodoxy”, i.e., after (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  14
    Ahmed İbn Hanbel’in Müsned’inde Yönetici Ve Toplum.Dmitri Vladimiroviç Yermakkov & Çev Kudret Artikbaev - 2014 - Dini Araştırmalar 17 (45):188-193.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  16
    Rome: Socio-political Evolution in the 8th–2nd Centuries BC.Dmitri V. Dozhdev - 2004 - In Leonid Grinin, Robert Carneiro, Dmitri Bondarenko, Nikolay Kradin & Andrey Korotayev (eds.), The Early State, Its Alternatives and Analogues. ‘Uchitel’ Publishing House. pp. 388--418.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  22
    Will Aesthetics Be the Last Stronghold of Marxism?Dmitry Khanin - 1992 - Philosophy and Literature 16 (2):266-278.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  12
    Investigation of an algorithm for the formation of a stock portfolio of investors using fuzzy set theory.Dmitry Nikolaevich Klimenko - 2021 - Kant 40 (3):29-34.
    The purpose of the study is to investigate the features of the algorithm for forming the stock portfolio of investors using the theory of fuzzy sets, taking into account a priori uncertain input information and market dynamics. The scientific novelty of the article lies in the application of a relatively new fuzzy-multiple apparatus and the theory of fuzzy sets to the formation of the stock portfolio of investors. From a practical point of view, the proposed fuzzy model makes it possible (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  15
    Conception and Philosophy of Science.Dmitry M. Koshlakov & Alexander I. Shvyrkov - 2020 - Epistemology and Philosophy of Science 57 (2):124-141.
    The authors try to show that even Wittgensteinian definition of concept is not always sufficient to analyze what really happens in science. As a result, in addition to “concept” we propose “conception” as a new promising tool for philosophy of science. We provide a brief historical analysis of this term and reveal two main interpretations of “conception” in philosophy and scientific disciplines. In accordance with the first view, conception appears as either a “twin” of the concept, or a pair entity (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  21
    The Logical Legacy of Nikolai Vasiliev and Modern Logic.Dmitry Zaitsev & Vladimir Markin (eds.) - 2017 - Cham: Springer Verlag.
    This volume offers a wide range of both reconstructions of Nikolai Vasiliev’s original logical ideas and their implementations in the modern logic and philosophy. A collection of works put together through the international workshop "Nikolai Vasiliev’s Logical Legacy and the Modern Logic," this book also covers foundations of logic in the light of Vasiliev’s contradictory ontology. Chapters range from a look at the Heuristic and Conceptual Background of Vasiliev's Imaginary Logic to Generalized Vasiliev-style Propositions. It includes works which cover Imaginary (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  22
    Modelling Hegemonic Power Transition in Cyberspace.Dmitry Brizhinev, Nathan Ryan & Roger Bradbury - 2018 - Complexity 2018:1-13.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  7
    Techno-technologized world in the light of paradigmatic philosophical and methodological principles.Dmitry Solomko - 2023 - Sotsium I Vlast 2 (96):16-26.
    Introduction. The human world is presented as an integrity — an organic unity of many inter- connected and interdependent centers (parts, sides, elements): natural and cultural, natural and artificial, animate and inanimate. When any center dominates over others (for example, technical and technological) and / or attempts to realize its claim to the status of a whole, the agreed and optimal ra- tio in the coexistence and synergistic development of all centers, and, consequently, of the whole, is violated. There arises (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  16
    Emerging small molecule inhibitors of Bach1 as therapeutic agents: Rationale, recent advances, and future perspectives.Dmitry M. Hushpulian, Navneet Ammal Kaidery, Debashis Dutta, Sudarshana M. Sharma, Irina Gazaryan & Bobby Thomas - 2024 - Bioessays 46 (1):2300176.
    The transcription factor Nrf2 is the master regulator of cellular stress response, facilitating the expression of cytoprotective genes, including those responsible for drug detoxification, immunomodulation, and iron metabolism. FDA‐approved Nrf2 activators, Tecfidera and Skyclarys for patients with multiple sclerosis and Friedreich's ataxia, respectively, are non‐specific alkylating agents exerting side effects. Nrf2 is under feedback regulation through its target gene, transcriptional repressor Bach1. Specifically, in Parkinson's disease and other neurodegenerative diseases with Bach1 dysregulation, excessive Bach1 accumulation interferes with Nrf2 activation. Bach1 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  9
    The state in discussions about post-capitalist society: focus on "dying off"?Dmitry Davydov - 2019 - Sotsium I Vlast 2:27-36.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  9
    Unpredictable post-capitalism: subtraction and competition in the sphere of “personality production”.Dmitry Davydov - 2020 - Sotsium I Vlast 6:88-99.
    The article develops the idea of forming postcapitalist social relations as a social revolution of an individual, which consists in the fact that popularity becomes a key advantage, the “possession” of which is a desired goal and a significant resource of political influence. At the same time, it is shown that this process leads to forming a new dominant stratum — personalities (“people with personality”): celebrities, popular bloggers, social media influencers, micro- and nanosignature. It is substantiated that the personaliat domination (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  33
    Linear logic with fixed resources.Dmitry A. Archangelsky & Mikhail A. Taitslin - 1994 - Annals of Pure and Applied Logic 67 (1-3):3-28.
    In this paper we continue the study of Girard's Linear Logic and introduce a new Linear Logic with modalities. Our logic describes not only the consumption, but also the presence of resources. We introduce a new semantics and a new calculus for this logic. In contrast to the results of Lincoln [7] and Kanovich [4] about the NP-completeness of the problem of the construction of a proof for a given sequent in the multiplicative fragment of Girard's Linear Logic, we present (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  47
    A logic for information systems.Dmitri A. Archangelsky & Mikhail A. Taitslin - 1997 - Studia Logica 58 (1):3-16.
    A conception of an information system has been introduced by Pawlak. The study has been continued in works of Pawlak and Orlowska and in works of Vakarelov. They had proposed some basic relations and had constructed a formal system of a modal logic that describes the relations and some of their Boolean combinations. Our work is devoted to a generalization of this approach. A class of relation systems and a complete calculus construction method for these systems are proposed. As a (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  50.  11
    Linear logic for nets with bounded resources.Dmitry A. Archangelsky, Mikhail I. Dekhtyar & Mikhail A. Taitslin - 1996 - Annals of Pure and Applied Logic 78 (1-3):3-28.
    In this paper we introduce a new type of nets with bounded types of distributed resources . Linear Logic to describe the behaviour of BR-nets is defined. It is based on Girard's Linear Logic but captures not only consumption of resources but their presence as well. Theorem of soundness and completeness of the proposed axiomatization is proved and the complexity of the provability problem is established for the general case and some particular ones.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 402